301. Evolvable systems
پدیدآورنده : Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
302. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
پدیدآورنده : Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
رده :
QA
76
.
L28
Vol
.
1259
303. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
304. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
305. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
306. Extending the horizons :
پدیدآورنده : edited by Edward K. Baker ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Operations research, Congresses.
307. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
308. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
309. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
پدیدآورنده : P. Schroeder-Heister, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
310. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
311. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
پدیدآورنده : Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
312. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
پدیدآورنده : Roy Dyckhoff )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
313. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : ELP '29 )2991: Bologna, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
314. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : E. Lamma, P. Mello, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
315. Feasible Mathematics II
پدیدآورنده : \ Peter elote, Jeffrey Remmel Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computational complexity -- Congresses.,Mathematics -- Congresses.,پیچیدگی محاسباتی -- کنگره ها,ریاضیات -- کنگرهها
رده :
E-Book
,
316. Feasible mathematics
پدیدآورنده : \ Samuel R. Buss, Philip J. Scott, editors.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computational complexity-- Congresses.,Mathematics-- Congresses.,پیچیدگی محاسباتی - کنگره ها
رده :
QA267
.
7
.
F43
1990
E-Book
,
317. Feasible mathematics II
پدیدآورنده : Peter Clote, Jeffrey Remmel, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Mathematics
رده :
QA
267
.
7
.
F43
1995
318. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computational complexity-- Congresses,، Mathematics-- Congresses
رده :
QA
267
.
7
.
F43
1990
319. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده : Samuel R. Buss, Philip J. Scott, editors
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Computational complexity - Congresses,Mathematics - Congresses
رده :
QA
.
F43
267
.
7
1990
320. Feasible mathematics : a mathematical sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده : Samuel R. Buss, Philop J. Scott, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Mathematics
رده :
QA
267
.
7
.
F43
1990
